Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

In the paper, I argue there is a whole political logistics to deportation. This is made visible by bringing the concept of microphysics to bear on the topic. Taking the case of enforced and escorted removals from the UK, I show that this logistics is vividly and graphically documented in the inspection reports. Hitherto largely ignored, inspection reports offer researchers a trove of information regarding the mechanisms and procedures of deportation. As I finally draw out, this focus can speak to (...) questions about the relationship of ethics to deportation: the inspection reports show how a certain form of ethical calculation, based on a risk-based approach to the use of force has been inscribed into the practices of deportation. DOI 10.17879/95189425134. (shrink)

The global COVID-19 pandemic has spotlighted several instances of churches violating state issued and scientifically recommended guidelines designed to keep populations healthy and to prevent the further spread of the disease. While these instances are minority responses to these orders, they nonetheless raise questions about the rationality of ecclesial belonging in response to the COVID-19 pandemic. In this article, I draw on the work of William James and W. E. B. Du Bois to articulate a conception of ecclesial belonging (...) as a social epistemological process engaging a complex, fluid multiplicity of knowers of various scales. I argue that, in this view, ecclesial rationality involves the construction of a concatenation of internal and external practices individual believers and groups can traverse so long as they consistently satisfy a plurality of desiderata. I suggest that what is irrational about religious-based defiance of COVID-19 guidelines is the church-sanctioned severance of internal from external practices. I suggest that this behavior is supported by a failure to grasp the demands of ecclesial rationality rather than embrace them, and that this conception of rationality may have been eroded by the value-neutral skepticism of secular rationality. (shrink)

When William James published Pragmatism, he gave it a subtitle: A New Name for Some Old Ways of Thinking. In this article, I argue that pragmatism is an epistemological method for articulating success in, and between, a plurality of practices, and that this articulation helped James develop radical empiricism. I contend that this pluralistic philosophical methodology is evident in James’s approach to philosophy of religion, and that this method is also exemplified in the work of one of James’s most (...) famous students, W.E.B. Du Bois, specifically in the closing chapter of The Souls of Black Folk, “Of the Sorrow Songs.” I argue that “Sorrow Songs” can be read as an epistemological text, and that once one identifies the epistemic standards of pragmatism and radical empiricism in the text, it’s possible to identify an implicit case for moderate fideism in “Sorrow Songs.” I contend that this case illuminates the pluralistic philosophical methodology James worked throughout his career to develop, and that the James-Du Bois approach to philosophy may even help locate the epistemic value of other religious practices, beyond the singing of hymns, and identify terrain mainstream philosophy has long neglected. (shrink)

In Religious Experience, Wayne Proudfoot argued that a tout court rejection of reductionism in accounts of religious experience was not viable. According to Proudfoot, it’s possible to distinguish between an illegitimate practice of descriptive reductionism and the legitimate practice of explanatory reductionism. The failure to distinguish between these two forms of reductionism resulted in a protective strategy, or an attempt to protect religious experience from the reach of scientific explanation. Among the theorists whom he accused of deploying this illegitimate strategy (...) Proudfoot included William James and his work in The Varieties of Religious Experience. In this article, I argue that while James does occasionally deploy a protective strategy in Varieties, this is not the only nor most important method of treating religious experience James developed. Implicit in his rejection of medical materialism, James not only deploys the protective strategy Proudfoot criticizes, but the pragmatic method with which he treats all claims. I argue that James’s pragmatic method leads to what James called noetic pluralism, or the view that there is no privileged knowledge practice, but a plurality of knowledge practices, and that this method puts pressure on the explanatory reductionist, who is implicitly committed to noetic monism. (shrink)

William James advocated a form of finite theism, motivated by epistemological and moral concerns with scholastic theism and pantheism. In this article, I elaborate James’s case for finite theism and his strategy for dealing with these concerns, which I dub the problems of suffering. I contend that James is at the very least implicitly aware that the problem of suffering is not so much one generic problem but a family of related problems. I argue that one of James’s great (...) contributions to philosophical theism is his advocacy for the view that adequate theistic philosophizing is not so much about cracking this family of problems, but finding a version of the problem to embrace. (shrink)

Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...) how humble matter could have such a thing. It is as if each empowered object were possessed of a little soul that directs it and governs its behavior. Instead of attempting to resurrect the Aristotelian power theory, contemporary philosophers would be best served by taking their inspiration from its early modern replacement, devised by John Locke and Robert Boyle. On this view, powers are internal relations, not monadic properties intrinsic to their bearers. This move at once drains away the mysterious directedness of Aristotelian powers and solves the contemporary version of the little souls argument, Neil Williams’s ‘problem of fit.’. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

The structure of narrative discourse is the focus of much current research, but the classicist Walter Burkert argues for a revitalization of the historical approach to myth. He pushes the origins of myth beyond ritual to action patterns man shares with animals. His approach is evaluated in the context of Propp's historical analysis, which complements his 'morphological' approach to Russian folktales; and to Levi-Strauss's synchronic analysis of myth, which sees an ahistoric connection between the myths of North and South America.

This article focuses on one aspect of the late mediaeval debate over divine power, as it was discussed by Oxford philosophers Walter Chatton (d. 1343) and William Ockham (d. 1347). Chatton and Ockham would have agreed, for example, that God is ultimately responsible for the existence of the works of Pablo Picasso, but they would not agree over wheher it violates God's omnipotence to say that he cannot make something that Picasso made, for example, the painting Guernica, without using (...) Picasso himself as an intermediate cause. The context of their dispute was a larger debate regarding the ontological status of relations. This article (1) explains how these two issues, omnipotence and relations, became so interestingly tangled together, (2) tries to see which of the two men mentioned above got the better of their exchange, and finally (3) draws out some important consequences for fourteenth-century discussions of causality, occasionalism, and omnipotence. (shrink)

Andrew Cling presents a new version of the epistemic regress problem, and argues that intuitionist foundationalism, social contextualism, holistic coherentism, and infinitism fail to solve it. Cling’s discussion is quite instructive, and deserving of careful consideration. But, I argue, Cling’s discussion is not in all respects decisive. I argue that Cling’s dilemma argument against holistic coherentism fails.

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is not the case (...) that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow. (shrink)

The late Jerry Cohen struggled to reconcile his egalitarian political principles with his personal style of life. His efforts were inconclusive, but instructive. This comment locates the core of Cohen’s discomfort in an abstract principle that connects what we morally ought to be compelled to do and what we have a duty to do anyway. The connection the principle states is more general and much tighter than Cohen and others, e.g. Thomas Nagel, have seen. Our principles of justice always put (...) our personal integrity to the test, unless those principles are designed not to. But to craft principles with an view to avoiding that test is, as Cohen argued, itself to undermine both justice and our integrity. (shrink)

It is standard practice, when distinguishing between the foundationalist and the coherentist, to construe the coherentist as an internalist. The coherentist, the construal goes, says that justification is solely a matter of coherence, and that coherence, in turn, is solely a matter of internal relations between beliefs. The coherentist, so construed, is an internalist (in the sense I have in mind) in that the coherentist, so construed, says that whether a belief is justified hinges solely on what the subject is (...) like mentally. I argue that this practice is fundamentally misguided, by arguing that the foundationalism / coherentism debate and the internalism / externalism debate are about two very different things, so that there is nothing, qua coherentist, precluding the coherentist from siding with the externalist. I then argue that this spells trouble for two of the three most pressing and widely known objections to coherentism: the Alternative-Systems Objection and the Isolation Objection. (shrink)

Bernard Williams famously argued that eternal life is undesirable for a human because it would inevitably grow intolerably boring. I will argue against Williams and those who share his view. To make my case, I will provide an account of what staves off boredom in our current, earthly-mortal lives, and then I will draw on this account while advancing reasons for thinking that eternal life is desirable, given certain conditions. Though my response to Williams will partly overlap with some prior (...) responses to Williams, especially the one offered by J. M. Fischer, my response will also be distinctive in some important ways. For instance, it will be distinctive in that it will discuss the role that one’s part-whole-reality conception plays in fending off boredom, where by “one’s part-whole-reality conception” I mean “one’s conception of his or her place in the whole of reality.”. (shrink)

Rondo Keele makes a foray into what he calls 'applied logic', investigating a complex argument strategy employed against Ockham by his greatest contemporary opponent, Walter Chatton. Chatton conceives a two-part strategy which attempts to force a kind of iteration of conceptual analysis, together with an infinite explanatory regress, in order to establish that one particular philosophical analysis is ultimately dependent on another. Chatton uses this strategy against Ockham in order to show that the latter's reductionist metaphysics depends ultimately upon a (...) deeper level of realist assumptions that he can neither evade nor explain away. Keele then shows how, earlier in his career, Chatton found himself on the receiving end of this same strategy, defending his own highly original solution to the problem of future contingents from the very iteration-regress attack he would subsequently use on Ockham. Keele concludes with an examination of Chatton's attempts to avoid the consequences of his own strategy, and draws some connections between this argument strategy and modal collapse in modern logics. (shrink)

The concept of law is not a theorist's invention but one that people use every day. Thus one measure of the adequacy of a theory of law is its degree of fidelity to the concept as it is understood by those who use it. That means as far as possible. There are important truisms about the law that have an evaluative cast. The theorist has either to say what would make those evaluative truisms true or to defend her choice to (...) dismiss them as false of law or not of the essence of law. Thus the legal theorist must give an account of the truth grounds of the more central evaluative truisms about law. This account is a theory of legitimacy. It will contain framing judgments that state logical relations between descriptive judgments and directly evaluative judgments. Framing judgments are not directly evaluative, nor do they entail directly evaluative judgments, but they are nonetheless moral judgments. Therefore, an adequate theory of law must make (some) moral judgments. This means that an adequate theory of law has to take a stand on certain (but not all) contested issues in political philosophy. Legal theory is thus a branch of political philosophy. Moreover, one cannot be a moral-aim functionalist about legal institutions without compromising one's positivism about legal norms. (shrink)

Naturalism is often considered to be antithetical to theology and genuine religion. However, in a series of recent books and articles, Willem Drees has proposed a scientifically informed naturalistic account of religion, which, he contends, is not only compatible with supernaturalistic religion and theology but provides a better account of both than either purely naturalistic or purely supernaturalistic accounts. While rejecting both epistemological and methodological naturalism, Drees maintains that ontological naturalism offers the best philosophical account of the natural world and (...) that, in addition, it provides the opening for a supernaturalistic understanding of religion and theology, one that best fits the condition of epistemic and moral distance from the transcendent characteristic of religious wonderers and wanderers. In this paper I examine Drees's claim and argue that it is seriously flawed. I show that Drees's naturalism is, in fact, both methodologically and epistemologically naturalistic. I also show that his attempts to limit naturalism to the sphere of the natural world by means of the phenomena of limit questions and underdetermination fail. Arguing for a more optimistic, but also, I contend, more empirically accurate account of human epistemic and moral capacities, I propose a full‐fledged scientifically based naturalistic account of theology. (shrink)

Responds to the article by Brad Brown and Susan Perry in the August 1995 issue of `Business & Society' periodical on the measure of corporate social responsibility (CSP).

Experimenters claim some nonhuman mammals have metacognition. If correct, the results indicate some animal minds are more complex than ordinarily presumed. However, some philosophers argue for a deflationary reading of metacognition experiments, suggesting that the results can be explained in first-order terms. We agree with the deflationary interpretation of the data but we argue that the metacognition research forces the need to recognize a heretofore underappreciated feature in the theory of animal minds, which we call Unity. The disparate mental states (...) of an animal must be unified if deflationary accounts of metacognition are to hold and untoward implications avoided. Furthermore, once Unity is acknowledged, the deflationary interpretation of the experiments reveals an elevated moral standing for the nonhumans in question. (shrink)

We present a theoretical view of the cellular foundations for network-level processes involved in producing our conscious experience. Inputs to apical synapses in layer 1 of a large subset of neocortical cells are summed at an integration zone near the top of their apical trunk. These inputs come from diverse sources and provide a context within which the transmission of information abstracted from sensory input to their basal and perisomatic synapses can be amplified when relevant. We argue that apical amplification (...) enables conscious perceptual experience and makes it more flexible, and thus more adaptive, by being sensitive to context. Apical amplification provides a possible mechanism for recurrent processing theory that avoids strong loops. It makes the broadcasting hypothesized by global neuronal workspace theories feasible while preserving the distinct contributions of the individual cells receiving the broadcast. It also provides mechanisms that contribute to the holistic aspects of integrated information theory. As apical amplification is highly dependent on cholinergic, aminergic, and other neuromodulators, it relates the specific contents of conscious experience to global mental states and to fluctuations in arousal when awake. We conclude that apical dendrites provide a cellular mechanism for the context-sensitive selective amplification that is a cardinal prerequisite of conscious perception. (shrink)

This paper traces a rather peculiar debate between William Ockham, Walter Chatton, and Robert Holcot over whether it is possible for God to know more than he knows. Although the debate specifically addresses a theological question about divine knowledge, the central issue at stake in it is a purely philosophical question about the nature and ontological status of propositions. The theories of propositions that emerge from the discussion appear deeply puzzling, however. My aim in this paper is to show (...) that there is a way of making sense of these views (and, by implication, of much of what is puzzling about medieval theories of propositions). The key, I argue, lies in getting clear about the precise theoretical roles these thinkers assign to propositions in their accounts of propositional attitudes. (shrink)

William of Ockham (d. 1347) is well known for his commitment to parsimony and for his so-called ‘razor’ principle. But little is known about attempts among his own contemporaries to deflect his use of the razor. In this paper, I explore one such attempt. In particular, I consider a clever challenge that Ockham’s younger contemporary, Walter Chatton (d. 1343) deploys against the razor. The challenge involves a kind of dilemma for Ockham. Depending on how Ockham responds to this dilemma, (...) his razor will, Chatton argues, either prove unacceptably dull when it comes to determining ontological commitment or prove unacceptably sharp when it comes to determining commitments entailed by certain theological doctrines. While Chatton’s objection is subtle and interesting in its own right, the broader significance of the debate between these thinkers lies in the light it sheds on medieval approaches to issues surrounding metaphysical methodology. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

PREMISSA No século XIX, ocorreram transformações impulsionadas pela emergência de novas fontes energéticas (água e petróleo), por novos ramos industriais e pela alteração profunda nos processos produtivos, com a introdução de novas máquinas e equipamentos. Depois de 300 anos de exploração por parte das nações europeias, iniciou -se, principalmente nas colônias latino-americanas, um processo intenso de lutas pela independência. É no século XIX, já com a consolidação do sistema capitalista na Europa, que se encontra a herança intelectual mais próxima da (...) qual surgirá a Sociologia como ciência particular. No início desse século, as ideias do Conde de Saint-Simon (1760-1825), de Georg Wilhelm Friedrich Hegel (1770-1831), de David Ricardo (1772-1823) e de Charles Darwin (1809-1882), entre outros, foram o elo para que Alexis de Tocqueville (1805-1859), Auguste Comte (1798-1857), Karl Marx (1818 -1883) e Herbert Spencer (1820-1903), entre outros, desenvolvessem reflexões sobre a sociedade de seu tempo. Auguste Comte e Karl Marx foram os pensadores que lançaram as bases do pensamento sociológico e de duas grandes tradições – a positivista e a socialista – que muito influenciaram o desenvolvimento da Sociologia no Brasil. 1 AUGUSTE COMTE E A TRADIÇÃO POSITIVISTA Isidore Auguste Marie François Xavier Comte nasceu em Montpellier, na França, em 19 de janeiro de 1798. Com 16 anos de idade, ingressou na Escola Politécnica de Paris, fato que teria significativa influência na orientação posterior de seu pensamento. De 1817 a 1824, foi secretário do Conde de Saint-Simon. Comte declarou que, com Saint -Simon, aprendeu muitas coisas que jamais encontraria nos livros e que, no pouco tempo em que conviveu com o conde, fez mais progressos do que faria em muitos anos, se estivesse sozinho. Toda a obra de Comte está permeada pelos acontecimentos que ocorreram após a Revolução Francesa de 1789. Ele defendeu parte dos princípios revolucionários e criticou a restauração da monarquia, preocupando-se fundamentalmente em reorganizar a sociedade, que, no seu entender, estava em ebulição e mergulhada no caos. Para Comte, a desordem e a anarquia imperavam em virtude da confusão de princípios (metafísicos e teológicos), que não se adequavam à sociedade industrial em expansão. Era, portanto, necessário superar esse estado de coisas, usando a razão como fundamento da nova sociedade. Propôs, então, a mudança da sociedade por meio da reforma intelectual plena das pessoas. De acordo com o pensador, com a modificação do pensamento humano, por meio do método científico, que ele chamava de “filosofia positiva”, haveria uma reforma das instituições. Com a proposta do estudo da sociedade por meio da análise de seus processos e estruturas, e da reforma prática das instituições, Comte criou uma nova ciência, à qual deu o nome de “física social”, passando a chamá-la posteriormente de Sociologia. A Sociologia representava, para Comte, o coroamento da evolução do conhecimento, mediante o emprego de métodos utilizados por outras ciências, que buscavam conhecer os fenômenos constantes e repetitivos da natureza: a observação, a experimentação, a comparação e a classificação. De acordo com esse pensador, a Sociologia, como as ciências naturais, deve sempre procurar a reconciliação entre os aspectos estáticos e os dinâmicos do mundo natural ou, no caso da sociedade humana, entre a ordem e o progresso. O lema da “filosofia positiva” proposta por Comte era “conhecer para prever, prever para prover”, ou seja, o conhecimento é necessário para fazer previsões e também para solucionar possíveis problemas. A influência de Comte no desenvolvimento da Sociologia foi marcante, sobretudo, na escola francesa, evidenciando-se em Émile Durkheim e seus contemporâneos e seguidores. Seu pensamento esteve presente em muitas das tentativas de criar tipologias para explicar a sociedade. Suas principais obras são: Curso de filosofia positiva (1830-1842), Discurso sobre o espírito positivo (1848), Catecismo positivista (1852) e Sistema de política positiva (1854). Para concluirmos, Comte explanava que para a superação da anarquia reinante na nova sociedade industrial, a filosofia positivista defendia a subordinação do progresso à ordem. O mesmo era contra o retorno de Luís XVIII ao trono: em sua concepção, a sociedade industrial que emergia requeria um governo fundado na razão. 2 A TRADIÇÃO SOCIALISTA: KARL MARX E FRIEDRICH ENGELS Karl Heinrich Marx nasceu em Tréveris, na antiga Prússia, hoje Alemanha, em 1818 e, em 1830, ingressou no Liceu Friedrich Wilhelm, nessa mesma cidade. Anos depois, foi cursar Direito na Universidade de Bonn, transferindo-se para Berlim em seguida. Pouco a pouco, entretanto, seus interesses migraram para a Filosofia, área na qual defendeu, em 1841, a tese de doutorado A diferença da filosofia da natureza em Demócrito e Epicuro. Sua vida universitária foi marcada pelo debate político e intelectual influenciado pelo pensamento de Ludwig Feuerbach (1804-1872) e, principalmente, pelo de Georg Wilhelm Friedrich Hegel (1770- 1831). Friedrich Engels (1820-1895) nasceu em Barmen (Renânia), na antiga Prússia, hoje Alemanha, filho mais velho de um rico industrial do ramo têxtil. Terminou sua formação secundária em 1837 e a partir de então sua formação intelectual foi por conta própria (autodidata), com alguns cursos universitários esparsos e de curta duração. Desde cedo começou a trabalhar nas empresas de seu pai e foi nessa condição que se deslocou para Bremen por três anos e depois foi enviado pelos pais a Manchester, na Inglaterra, onde trabalhou nas fábricas da família. Engels ficou impressionado com a miséria na qual viviam os trabalhadores das fábricas inglesas. Os dois, Marx e Engels, se encontraram em 1842, quando Marx passou a escrever para A Gazeta Renana, jornal da província de Colônia, do qual Engels era colaborador e mais tarde editor-chefe. O jornal, que criticava o poder prussiano, foi fechado em 1843, e Marx se viu desempregado. Ao perder o emprego, mudou-se para Paris, na França. Ali escreveu, em 1844, os Manuscritos econômico-filosóficos (só publicados em 1932) e, junto com F. Engels, o livro A sagrada família. Por sua vez, F. Engels, em 1844, decidiu voltar para a Alemanha, onde publicou, em 1845, A situação da classe trabalhadora na Inglaterra. Entre 1845 e 1847, Marx exilou-se em Bruxelas, na Bélgica, onde escreveu A ideologia alemã (em parceria com Friedrich Engels) e Miséria da filosofia (1847), obra na qual criticou o filósofo Pierre-Joseph Proudhon (1809-1865). Em 1848, ainda na Bélgica, a parceria com Engels se solidificou ao escreverem juntos o livreto O Manifesto Comunista. Em 1848, Marx foi expulso da Bélgica e retornou a Colônia, na Alemanha (Prússia), sempre pensando na possibilidade de uma mudança estrutural em sua terra natal. Isso, entretanto, não aconteceu e Marx foi expulso da Alemanha em 1849, ano em que migrou para Londres, na Inglaterra, onde permaneceu até o fim da vida. Lá escreveu O 18 Brumário de Luís Bonaparte (1852), sua mais importante obra de reflexão sobre a vida política europeia do século XIX, desenvolveu pesquisas e concluiu seu maior trabalho: O capital: crítica da economia política. O primeiro volume dessa obra foi publicado em 1867; os outros três, em 1885, 1894 e 1905, após a morte de Marx, revisados por F. Engels. 2.1 O contexto histórico e a obra de Marx e Engels Para situar a obra de Marx e Engels, é necessário conhecer um pouco do que acontecia em meados do século XIX. Com as transformações que ocorriam no mundo ocidental, principalmente na esfera da produção industrial, houve um crescimento expressivo no número de trabalhadores industriais urbanos, com uma consequência evidente: precariedade da vida dos operários nas cidades. As condições de trabalho no interior das fábricas eram péssimas. Os empregados eram superexplorados, alimentavam-se mal e trabalhavam em ambientes insalubres. Para enfrentar essa situação e tentar modificá-la, os trabalhadores passaram a se organizar em associações e sindicatos e a promover movimentos de reivindicação. Desenvolveu-se, então, uma discussão das condições sociais, políticas e econômicas para se definirem as possibilidades de intervenção nessa realidade. Desde o início do século XIX, muitos pensadores discutiram essas questões, nas perspectivas socialista e anarquista. Na Inglaterra podem ser citados, entre outros: William Godwin (1756-1836), Thomas Spence (1750-1814), Thomas Paine (1737-1809), Robert Owen (1771-1858) e Thomas Hodgkin (1787-1866). Na França, destacaram-se Étienne Cabet (1788- 1856), Flora Tristan (1803-1844), Charles Fourier (1772-1837) e Pierre-Joseph Proudhon (1809-1865). Marx e Engels levaram em conta esses pensadores, debatendo com alguns contemporâneos e criticando-os. Além disso, incorporaram a tradição da economia clássica inglesa, presente principalmente nas obras de Adam Smith e de David Ricardo. Pode-se dizer, portanto, que Marx e Engels desenvolveram seu trabalho com base na análise crítica da economia política inglesa, do socialismo utópico francês e da filosofia alemã. Esses dois autores não buscavam definir uma ciência específica para estudar a sociedade (como a Sociologia, para Auguste Comte) ou situar seu trabalho em um campo científico particular. Em alguns escritos, Marx afirmou que a História seria a ciência que mais se aproximava de suas preocupações, por abarcar as múltiplas dimensões da sociedade, a qual deveria ser analisada na totalidade, não havendo uma separação rígida entre os aspectos sociais, econômicos, políticos, ideológicos, religiosos, culturais etc. O objetivo de Marx e Engels era estudar criticamente a sociedade capitalista com base em seus princípios constitutivos e em seu desenvolvimento, visando dotar a classe trabalhadora de uma análise política da sociedade de seu tempo. Assim, a tradição socialista nascida da luta dos trabalhadores, muitos anos antes e em situações diferentes, tem como expressão intelectual o pensamento de Karl Marx e Friedrich Engels. Para entender as concepções fundamentais de Marx e Engels é necessário fazer a conexão entre as lutas da classe trabalhadora, suas aspirações e as ideias revolucionárias que estavam presentes no século XIX na Europa. Para eles, o conhecimento científico da realidade só tem sentido quando visa à transformação dessa mesma realidade. A separação entre teoria e prática não é discutida, pois a “verdade histórica” não é algo abstrato e que se define teoricamente; sua verificação está na prática. Apesar de haver algumas diferenças em seus escritos, os elementos essenciais do pensamento de Marx e Engels podem ser assim sintetizados: • historicidade das ações humanas – crítica ao idealismo alemão; • divisão social do trabalho e o surgimento das classes sociais – a luta de classes; • o fetichismo da mercadoria e o processo de alienação; • crítica à economia política e ao capitalismo; • transformação social e revolução; • utopia – sociedade comunista. A obra desses dois autores é muito vasta e não ficou vinculada estritamente aos movimentos sociais dos trabalhadores. Pouco a pouco foi introduzida nas universidades como parte do estudo em diferentes áreas do conhecimento. Estudiosos de Filosofia, Sociologia, Ciência Política, Economia, História e Geografia, entre outras áreas, foram influenciados por ela. Na Sociologia, como afirma Irving M. Zeitlin, no livro Ideología y teoría sociológica, tanto Max Weber quanto Émile Durkheim fizeram, em suas obras, um debate com as ideias de Karl Marx. Pelas análises da sociedade capitalista de seu tempo e a repercussão que tiveram em todo o mundo, principalmente no século XX, nos movimentos sociais e nas universidades, Marx e Engels são considerados autores clássicos da Sociologia. No campo dessa disciplina, porém, o pensamento deles ficou um pouco restrito, pois perdeu aquela relação entre teoria e prática (práxis), ou seja, entre a análise crítica e a prática revolucionária. Essa relação esteve presente, por exemplo, na vida e na obra dos russos Vladimir Ilitch Ulianov, conhecido como Lênin (1870-1924), e Leon D. Bronstein, conhecido como Trotsky (1879-1940), da alemã Rosa Luxemburgo (1871-1919) e do italiano Antonio Gramsci (1891- 1937), que tiveram significativa influência no movimento operário do século XX. Com base no trabalho de Marx e Engels, muitos autores desenvolveram estudos acadêmicos em vários campos do conhecimento. Podemos citar, por exemplo, Georg Lukács (1885-1971), Theodor Adorno (1903-1969), Walter Benjamin (1892-1940), Henri Lefebvre (1901-1991), Lucien Goldmanm (1913 -1970), Louis Althusser (1918 -1990), Nikos Poulantzas (1936-1979), Edward P. Thompson (1924-1993) e Eric Hobsbawm (1917 -2012). O pensamento de Marx e Engels continua, assim, presente em todo o mundo, com múltiplas tendências e variações, sempre gerando controvérsias. REFERENCIAL TEÓRICO GEMKOW, H.; PSUA, I. M. L. Marx e Engels: Vida e Obra. São Paulo: Alfa e Ômega, 1984. 232 pp. GIANOTTI, J. A. Comte. São Paulo: Abril Cultural, 1978. 318 pp. (Col. Os Pensadores) KONDER, L. Marx: vida e obra. 7ª ed. São Paulo: Paz e Terra, 2007. 154 pp. (Col. Vida e Obra). (shrink)

During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the distinction (...) between ‘intelligible’ and ‘unintelligible’ impossibilities. In this article, I consider some 13th-century tracts on obligations that provide an account of the relation between impossibility and intelligibility and discuss the inferential principles that are permissible when we reason from an impossible – but intelligible – premise. I also explore the way in which the 13th-century reflection on this topic survives, in a revised form, in some early 14th-century accounts of positio, namely, those of William of Ockham, Roger Swineshead and Thomas Bradwardine. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

This chapter discusses the roles of ether and electrons in relativity theory. One of the most radical moves made by Albert Einstein was to dismiss the ether from electrodynamics. His fellow physicists felt challenged by Einstein’s view, and they came up with a variety of responses, ranging from enthusiastic approval, to dismissive rejection. Among the naysayers were the electron theorists, who were unanimous in their affirmation of the ether, even if they agreed with other aspects of Einstein’s theory of relativity. (...) The eventual success of the latter theory (circa 1911) owed much to Hermann Minkowski’s idea of four-dimensional spacetime, which was portrayed as a conceptual substitute of sorts for the ether. (shrink)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to present to Hilbert and (...) his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (shrink)

Albert Einstein's bold assertion of the form-invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of six years, the preferred foundation of his theory of relativity. Early on, however, Einstein's universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light-ellipsoid. Drawing in part on archival sources, this paper shows how an (...) informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

This book attempts to advance Donald Griffin's vision of the "final, crowning chapter of the Darwinian revolution" by developing a philosophy for the science of animal consciousness. It advocates a Darwinian bottom-up approach that treats consciousness as a complex, evolved, and multidimensional phenomenon in nature rather than a mysterious all-or-nothing property immune to the tools of science and restricted to a single species. -/- The so-called emergence of a science of consciousness in the 1990s has at best been a science (...) of human consciousness. This book aims to advance a true Darwinian science of consciousness in which its evolutionary origin, function, and phylogenetic diversity are moved from the field’s periphery to its very centre, thus enabling us to integrate consciousness into an evolutionary view of life. Accordingly, this book has two objectives: (i) to argue for the need and possibility of an evolutionary bottom-up approach that addresses the problem of consciousness in terms of the evolutionary origins of a new ecological lifestyle that made consciousness worth having and (ii) to articulate a thesis and beginnings of a theory of the place of consciousness as a complex evolved phenomenon in nature that can help us to answer the question of what it is like to be a bat, an octopus, or a crow. -/- A Philosophy for the Science of Animal Consciousness will appeal to researchers and advanced students interested in advancing our understanding of animal minds as well as anyone with a keen interest in how we can develop a science of animal consciousness. (shrink)

In order to develop a true biological science of consciousness, we have to remove humans from the center of reference and develop a bottom-up comparative study of animal minds, as Donald Griffin intended with his call for a “cognitive ethology.” In this article, I make use of the pathological complexity thesis (Veit 2022a, b, c ) to show that we can firmly ground a comparative study of animal consciousness by drawing on the resources of state-based behavioral life history theory. By (...) comparing the different life histories of gastropods and arthropods, we will be able to make better sense of the possible origins of consciousness and its function for organisms in their natural environments. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)